قاعدة فرعیت/استلزام در سنت فلسفة اسلامی دست کم به دو شکل فهم شده است: ثبوت ب برای الف فرع/مستلزم ثبوت الف است؛ صدق حکم ایجابی الف ب است، صدق حکم الف موجود است را نتیجه می دهد. ابن سینا این قاعده را در شکل دوم آن و در مباحث منطق (کتاب العبارة) بحث کرده است. این شکل دوم را قاعدة وجود می نامم. دلایلی اقامه خواهم کرد که قاعدة وجود ازنظر ابن سینا یک استنتاج منطقی نیست، بلکه یک استلزام متافیزیکی است. برای این منظور تعریفی از نتیجه شدن منطقی از نگاه ابن سینا در چهارچوب امروزین منطق تنظیم می کنم و نشان می دهم طبق این تعریف، قاعدة وجود یک استنتاج منطقی نیست. پس ازآن، نشان می دهم که اگر تفسیر من از ابن سینا صحیح باشد، آنگاه صورت بندی های طیف وسیعی از معاصران از گزاره های محصوره نزد ابن سینا نادرست هستند. نیز نشان می دهم که این تفسیر از ابن سینا چگونه می تواند قواعد مرسومی را که او در منطق به روشنی پذیرفته است (به خصوص قاعدة عکس نقیض موافق) معتبر تلقی کند. تنها معضل قاعدة عکس نقیض موافق است. با استناد به برخی متن های ابن سینا استدلال می کنم که او قائل به عدم یکنواختی تحلیل گزاره هاست. براین اساس، قاعدة عکس نقیض موافق نیز بدون اشکال پذیرفته خواهد شد.